/*
 * 代号：凤凰
 * http://www.jphenix.org
 * 2022年9月2日
 * V4.0
 */
package javax.servlet.http;

import java.io.IOException;
import java.util.Collection;
import java.util.Map;
import java.util.function.Supplier;

import javax.servlet.ServletResponse;

/**
 * 【假类】用于辅助框架包编译通过
 * @author MBG
 * 2022年9月2日
 */
public interface HttpServletResponse extends ServletResponse {

    void addCookie(Cookie cookie);
    boolean containsHeader(String name);
    String encodeURL(String url);
    String encodeRedirectURL(String url);
    @Deprecated
    String encodeUrl(String url);
    @Deprecated
    String encodeRedirectUrl(String url);
    void sendError(int sc, String msg) throws IOException;
    void sendError(int sc) throws IOException;
    void sendRedirect(String location) throws IOException;
    void setDateHeader(String name, long date);
    void addDateHeader(String name, long date);
    void setHeader(String name, String value);
    void addHeader(String name, String value);
    void setIntHeader(String name, int value);
    void addIntHeader(String name, int value);
    void setStatus(int sc);
    @Deprecated
    void setStatus(int sc, String sm);
    int getStatus();
    String getHeader(String name);
    Collection<String> getHeaders(String name);
    Collection<String> getHeaderNames();
    default void setTrailerFields(Supplier<Map<String, String>> supplier) {
    }
    default Supplier<Map<String, String>> getTrailerFields() {
        return null;
    }
}
